The functional dimension of inductive definitions
نویسندگان
چکیده
منابع مشابه
Functional interpretation and inductive definitions
Extending Gödel’s Dialectica interpretation, we provide a functional interpretation of classical theories of positive arithmetic inductive definitions, reducing them to theories of finite-type functionals defined using transfinite recursion on well-founded trees.
متن کاملAN INDUCTIVE FUZZY DIMENSION
Using a system of axioms among with a modified definition of boundary on the basis of the intuitionistic fuzzy sets, we formulate an inductive structure for the dimension of fuzzy spaces which has been defined by Coker. This new definition of boundary allows to characterize an intuitionistic fuzzy clopen set as a set with zero boundary. Also, some critical properties and applications are establ...
متن کاملLogic Programming, Functional Programming, and Inductive Definitions
An attempt at unifying logic and functional programming is reported. As a starting point, we take the view that"logic programs"are not about logic but constitute inductive definitions of sets and relations. A skeletal language design based on these considerations is sketched and a prototype implementation discussed.
متن کاملInductive-Inductive Definitions
We present a principle for introducing new types in type theory which generalises strictly positive indexed inductive data types. In this new principle a set A is defined inductively simultaneously with an A-indexed set B, which is also defined inductively. Compared to indexed inductive definitions, the novelty is that the index set A is generated inductively simultaneously with B. In other wor...
متن کاملthe effect of functional/notional approach on the proficiency level of efl learners and its evaluation through functional test
in fact, this study focused on the following questions: 1. is there any difference between the effect of functional/notional approach and the structural approaches to language teaching on the proficiency test of efl learners? 2. can a rather innovative language test referred to as "functional test" ge devised so so to measure the proficiency test of efl learners, and thus be as much reliable an...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1992
ISSN: 0304-3975
DOI: 10.1016/0304-3975(92)90153-7